1. An invitation to applied category theory :
Author: Brendan Fong, David I. Spivak.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Categories (Mathematics),Computable functions.,Logic, Symbolic and mathematical.,Mathematical analysis.,Categories (Mathematics),Computable functions.,Logic, Symbolic and mathematical.,Mathematical analysis.
Classification :
QA9
.
25
.
F66
2019
2. Category theory for the sciences /
Author: David I. Spivak
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Categories (Mathematics),Science-- Mathematical models
Classification :
Q175
.
32
.
M38
S65
2014
3. Category theory for the sciences
Author: Spivak, David I.
Library: Central Library and Documentation Center (Semnan)
Subject: Mathematical models ، Science,، Categories )Mathematics(
Classification :
Q
175
.
32
.
M38
S65
2014
4. Temporal type theory :
Author: Patrick Schultz, David I. Spivak.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: System theory.,System theory.
Classification :
Q295
.
S38
2019
